∘ Category Theory - hello · Scour

abelianization of an additive category in nLab

ncatlab.org·17h

📐Type Theory

weitianxin/Awesome-Agentic-Reasoning

github.com·42m

💬Prompt Engineering

Partial Reductions for Kleene Algebra with Linear Hypotheses

arxiv.org·1d

🔍Type Inference

**Random Combination:** Combining Closure Operads (a branch of category theory dealing with higher-dimensional generalizations of closures) with Topological ...

freederia.com·2d

🔀Topological Sorting

In Praise of APL (1977)

jsoftware.com·51m·

Discuss: Hacker News

🔨Compiler Design

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

Taxonomies and Thesauri Catalog

jessicatalisman.substack.com·7h·

Discuss: Substack

🏗️Information Architecture

Making a Language

thunderseethe.dev·11h

🔨Compiler Design

Topological order and fractons from gauging exponential symmetries

link.aps.org·1d

🔢Homomorphic Encryption

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·21h

🦀Rust Macros

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·20h·

Discuss: DEV

🧮Vector Databases

Dynamical Systems Analysis Reveals Functional Regimes in Large Language Models

arxiv.org·1d

Datomic - Datomic at Clojure/Conj 2025

blog.datomic.com·1d

📊HyperLogLog

Calculus Made Easy

calculusmadeeasy.org·18h

📐Type Theory

Reals, Complex, Quaternions and Octonions

nigelvr.github.io·2d·

Discuss: Hacker News

📐Linear Algebra

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

⏰Lamport Clocks

Updated Candidate Recommendation: Web Neural Network (WebNN) API

w3.org·21m

Uncovering the molecular logic of cortical wiring between neuronal subtypes across development through ligand–receptor inference

nature.com·7h

Get To Grips With Transformers And LLMs

i-programmer.info·1d·

Discuss: Hacker News, r/programming

💬Prompt Engineering

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·21h

🔬Static Analysis

Loading more...